Mathematical software - PDFSEARCH.IO - Document Search Engine

Mathematical software
Results: 3985

#	Item
151	Biogeosciences, 12, 1483–1510, 2015 www.biogeosciences.netdoi:bg © Author(sCC Attribution 3.0 License. Comparison of ten packages that compute ocean Add to Reading List Source URL: www.ioccp.org Language: English - Date: 2015-09-08 07:24:04 Software Application software Mathematical software Array programming languages Chemical oceanography Econometrics software Biological oceanography Ocean acidification Alkalinity R MATLAB Coding
152	Making Uniqueness Typing Less Unique Thesis submitted for the degree of Doctor in Philosophy December 14, 2008 Edsko Jacob Jelle de Vries Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Software engineering Theoretical computer science Mathematical logic Lambda calculus System F Type system Uniqueness type Functional programming Polymorphism Clean
153	Sentient Sketchbook: Computer-Aided Game Level Authoring Antonios Liapis Georgios N. Yannakakis Add to Reading List Source URL: antoniosliapis.com Language: English - Date: 2014-12-01 05:18:59 Software Mathematical optimization Information science Information retrieval Candidate solution Genetic algorithm Personalization Google Maps Constraint Evolutionary computation Neuroevolution
154	Proceedings of the 2011 International Conference on Machine Learning and Cybernetics, Guilin, 10-13 July, 2011 HIDING DATA IN TETRIS ZHAN-HE OU, LING-HWEI CHEN Department of Computer Science, National Chiao Tung Univers Add to Reading List Source URL: debut.cis.nctu.edu.tw Language: English - Date: 2013-07-12 03:09:44 Gaming Tetris Software Digital media Mathematical games Polyforms Arcade games Tetromino Trademarks Polyomino Steganography Random number generation
155	Scalable Prediction of Non-functional Properties in Software Product Lines Norbert Siegmund, Marko Rosenm¨uller Christian K¨astner, Paolo G. Giarrusso Sven Apel, Sergiy S. Kolesnikov University of Magdeburg, Germany P Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2011-05-17 10:04:56 Mathematical analysis Quantum field theory Feature model Analysis Spin Pi Feature interaction problem
156	HP Prime Graphing Calculator The Tutorial Series This is the first issue of a series of tutorials for the HP Prime, written by Edward Shore. If you have programmed with the HP 39g, 39g or 39gII, you will recognize Add to Reading List Source URL: www.hpprime.de Language: English - Date: 2014-05-16 06:30:27 Computer programming Software engineering Programmable calculators Calculators Mathematical notation Reverse Polish notation Graphing calculator Subroutine Parameter Computing
157	Transformation rules from UML4MBT meta-model to SMT meta-model for model animation Jérôme Cantenot Fabrice Ambert Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:13 Software engineering Theoretical computer science Mathematical logic Formal methods Computability theory Lambda calculus Subroutines Satisfiability modulo theories XC HindleyMilner type system First-order logic Recursion
158	OPTIMIZATION GENERAL ALGEBRAIC MODELING SYSTEM High-Level Modeling The General Algebraic Modeling System (GAMS) is a high-level modeling system for mathematical programming problems. GAMS is tailored for complex, large-s Add to Reading List Source URL: www.gams.com Language: English - Date: 2016-06-07 08:00:10 Numerical software Computer algebra systems General Algebraic Modeling System Gams BARON CPLEX Draft:Extended mathematical programming Extended Mathematical Programming
159	Microsoft Word - Final Report Safety Critical Eunite 2003.rtf Add to Reading List Source URL: www.eunite.org Language: English - Date: 2014-12-13 03:39:48 Artificial intelligence Computational neuroscience Computational statistics Neural networks Artificial neural network Mathematical psychology Intelligent control Fuzzy logic Software development process Biological neural network Control theory Cellular neural network
160	Graphics calculator use in examinations: accident or design?* Marian Kemp, Academic Services Unit Barry Kissane, School of Education Jen Bradley, School of Physical Sciences, Engineering and Technology Murdoch University Add to Reading List Source URL: wwwstaff.murdoch.edu.au Language: English - Date: 2004-01-06 01:09:55 Office equipment Programmable calculators Mathematical notation Calculators Logarithms Graphing calculator Calculator Software calculator Scientific calculator Slide rule SAT Common logarithm

UPDATE